Differential existential closedness for the

We prove the Existential Closedness conjecture for differential equation of j j -function and its derivatives. It states that in a differentially closed field certain equations involving have solutions. Its consequences include complete axiomatisation -reducts fields, dichotomy result strongly minimal sets those reducts, functional analogue Modular Zilber-Pink with Derivatives conjecture.